An Approach for Validating Semantic Consistency of Model Transformation Based on Pattern
نویسندگان
چکیده
The correctness of model transformation is an import research field in model-driven architecture. Syntactic correctness and semantic consistency are hot topics in the field of model transformation. Syntactic correctness has many mature solutions. However the validation of semantic consistency has some problems. Therefore, how to validate semantic consistency of model transformation is a major problem in model-driven development. In this paper, we propose a validation approach for semantic consistency of model transformation, which is based on pattern. We analyze some patterns in models and make these patterns as transformation pattern. We define transformation rule with transformation pattern and analyze three parts of semantic transformation. We present two theorems to validate semantic consistency of model transformation. Finally, we give a case to illustrate the effectiveness of our approach.
منابع مشابه
Presentation of an efficient automatic short answer grading model based on combination of pseudo relevance feedback and semantic relatedness measures
Automatic short answer grading (ASAG) is the automated process of assessing answers based on natural language using computation methods and machine learning algorithms. Development of large-scale smart education systems on one hand and the importance of assessment as a key factor in the learning process and its confronted challenges, on the other hand, have significantly increased the need for ...
متن کاملPresentation of an efficient automatic short answer grading model based on combination of pseudo relevance feedback and semantic relatedness measures
Automatic short answer grading (ASAG) is the automated process of assessing answers based on natural language using computation methods and machine learning algorithms. Development of large-scale smart education systems on one hand and the importance of assessment as a key factor in the learning process and its confronted challenges, on the other hand, have significantly increased the need for ...
متن کاملSemantic-element-based Defining Approach for Model Transformation Rules
In model-driven software development, it is a key technology that transform from platform independent models at higher abstract level to platform specific models at a lower level. The approach to create mapping rules is profoundly impacted with the gap between the source model and the target model. By abstractly analyzing the characteristic of syntax and semantics of modeling languages, an appr...
متن کاملAn Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملDesigning and validating a Model for Integration of Professional Ethics Components with Technical Competencies for Industrial Mechanics Branch
Background: The emerging world of work requires the acquisition of a set of non-technical competencies with technical competencies in a career for sustainable employment. This paper aims at designing and validating a model for integrating the ethical components with technical competencies in curriculum based on competency in industrial mechanics’ branch. Method: The research approach is based ...
متن کامل